<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=unicode">
<META content="MSHTML 6.00.2716.2200" name=GENERATOR></HEAD>
<BODY>
<P><FONT color=green size=5>begin_state</FONT></P>
<P>switch to another state</P>
<P><STRONG>Parameters:</STRONG></P>
<P>&lt;state name&gt;</P></BODY></HTML>
